This book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held ...
Continue readingThis volume presents texts from selected lectures given by leading researchers at the Second Central European Functional ...
Continue readingThis book constitutes the refereed proceedings of the Second International Conference on Combinatorial Optimization and Applications, ...
Continue readingThis book constitutes the refereed proceedings of the 6th RECOMB Comparative Genomics Satellite Workshop, RECOMB-CG 2008, ...
Continue readingThis book constitutes the refereed proceedings of the 11th International ACM SIGSOFT Symposium on Component-Based Software ...
Continue readingThis introduction to computational geometry focuses on algorithms. Modern insights in computational geometry are used to ...
Continue readingThe three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational ...
Continue readingThe three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational ...
Continue readingThe three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational ...
Continue readingThe two-volume set LNCS 5072 and 5073 constitutes the refereed proceedings of the International Conference on Computational ...
Continue readingThe two-volume set LNCS 5072 and 5073 constitutes the refereed proceedings of the International Conference on Computational ...
Continue readingThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Continue readingThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Continue readingThis volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...
Continue readingThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Continue readingThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Continue readingThis book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ...
Continue readingThis book constitutes the proceedings of the Fifth European Performance Engineering Workshop, EPEW 2008, held in Palma de ...
Continue readingThis book constitutes the refereed proceedings of the Third International Computer Science Symposium in Russia, CSR 2008, ...
Continue readingThis book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...
Continue reading